Using Model-Based Screening to Help Discover Unknown Environmental Contaminants

Using model checking to help discover mode confusions and other automation surprises

Automation surprises occur when an automated system behaves differently than its operator expects. If the actual system behavior and the operator’s “mental model” are both described as finite state transition systems, then mechanized techniques known as “model checking” can be used automatically to discover any scenarios that cause the behaviors of the two descriptions to diverge from one anoth...

Screening estrogenic activity of environmental contaminants and water samples using a transgenic medaka embryo bioassay.

Many natural or synthetic chemicals may act as exogenous estrogens and affect the reproductive health of humans and wildlife. Since these xenoestrogens are ubiquitous, it is essential to monitor their presence in the environment. Hence, we developed a bioassay using the transgenic medaka (Oryzias latipes) embryo, in which the green fluorescent protein (GFP) was placed under the control of the g...

Environmental contaminants may contribute to fertility compromise.

hat was known about environmental conaminants that may affect human fertility. he gathering (Understanding Environental Contaminants and Human Fertility ompromise: Science and Strategy) marked he first time infertility, women’s health, and eproductive rights advocates met with reearchers in reproductive epidemiology, bilogy, toxicology, and clinical medicine to ssess the state of environmental ...

Toxicity of Environmental Contaminants

1Solid and Hazardous Waste Management Division, CSIR-NEERI, Nehru Marg, Nagpur 440 020, India 2Department of Civil Engineering, Center for Environmental Engineering Research and Education, University of Calgary, Calgary, AB, Canada T2N 1N4 3Centre for Plant and Water Science, Central Queensland University, Rockhampton, QLD 4702, Australia 4Department of Environmental Engineering, Technical Univ...

Environmental Contaminants in Food